bitkeeper revision 1.1357.1.1 (42681e7b7KG-juYnPnNfse4HYMkaMw)
authoriap10@freefall.cl.cam.ac.uk <iap10@freefall.cl.cam.ac.uk>
Thu, 21 Apr 2005 21:43:23 +0000 (21:43 +0000)
committeriap10@freefall.cl.cam.ac.uk <iap10@freefall.cl.cam.ac.uk>
Thu, 21 Apr 2005 21:43:23 +0000 (21:43 +0000)
commitdb9037d21ad2eddeb778b2e8ae683d04e3a23a4e
treea3e032f20997eb1acd0bdeba4a21076b12b4b657
parentc184a240a5cfb5fc46214542a4424efd05fce745
bitkeeper revision 1.1357.1.1 (42681e7b7KG-juYnPnNfse4HYMkaMw)

Make find_highest_irq() work for both 32 and 64 bit.

Signed-off-by: Xin B Li <xin.b.li@intel.com>
Signed-off-by: ian@xensource.com
xen/arch/x86/vmx_io.c